Symbolic system - PDFSEARCH.IO - Document Search Engine

Symbolic system
Results: 148

#	Item
121	A Formal Symbolic Framework for Structure-Based Reasoning Brian E. Mastenbrook Roosevelt University [removed] May 13, 2003 Add to Reading List Source URL: brian.mastenbrook.net Language: English - Date: 2006-02-06 10:34:25 Science Inductive reasoning Critical thinking Thought Reasoning system Case-based reasoning Reason Algorithm Introspection Reasoning Mind Cognition
122	HLFSD: Delivering Email to Your $HOME Erez Zadok, Computer Science Department, Columbia University Alexander Dupuy, System Management ARTS ABSTRACT We consider the problem of enabling users to access their mailbox les f Add to Reading List Source URL: www.am-utils.org Language: English - Date: 2012-09-07 11:06:50 System software Software Unix Message transfer agent Filesystem Hierarchy Standard Email client Automounter Home directory Symbolic link Email Computing System administration
123	TreeSize Professional TreeSize Professional v6 Add to Reading List Source URL: www.jam-software.com Language: English - Date: 2013-10-16 09:20:30 File managers TreeSize NTFS Disk space analyzer Computer file Windows Explorer File system Symbolic link Features new to Windows XP System software Microsoft Windows Computing
124	A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d Add to Reading List Source URL: www.vividmachines.com Language: English - Date: 2010-04-04 19:08:02 Constraint programming Cross-platform software JavaScript Symbolic execution Cross-site scripting Type system Code injection Software engineering Computing Computer programming
125	Records Management e-learning tool - Installation and customisation guide Add to Reading List Source URL: www.museuminfo-records.org.uk Language: English - Date: 2011-07-08 10:47:46 Installation software Installation Environment variable Symbolic link Windows Vista Microsoft Windows Windows XP Windows Explorer Windows System software Software Computing
126	JACAL Symbolic Mathematics System Version 1c2, June 2010 Aubrey Jaffer Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-07-02 16:44:03 GNU Project Copyleft SCM SLIB Aubrey Jaffer Free Software Foundation Wget GNU Free Documentation License Scheme 48 Software Computing Free software
127	An Updated Directory Structure for Unix Michael Homer Hisham Muhammad [removed] Add to Reading List Source URL: mwh.geek.nz Language: English - Date: 2010-01-23 00:57:46 Unix GoboLinux Filesystem Hierarchy Standard Encap Package Management System Package management system Symbolic link PATH Cd Library Computing Software System software
128	Cover Art: Enigma of Sentience; an Allegory of the Arts and Sciences A painting by Ernest P. Garcia Created for the 10th Anniversary of Albuquerque TVI’s Arts and Sciences Department. An allegory in painting is the us Add to Reading List Source URL: math.unm.edu Language: English - Date: 2001-05-28 23:35:41 Mathematics Algebraic geometry Gröbner basis Invariant theory Computer algebra system Hilbert series and Hilbert polynomial Linear algebra Symbolic computation Polynomial Algebra Computer algebra Commutative algebra
129	Bjarke Hammersholt Roune Danish citizen [removed] http://www.broune.com/ Add to Reading List Source URL: www.broune.com Language: English - Date: 2013-05-03 15:06:39 Computer algebra Algebraic geometry Commutative algebra Gröbner basis Invariant theory Computer algebra system Magma computer algebra system Symbolic computation Macaulay computer algebra system Abstract algebra Mathematics Algebra
130	J. Symbolic Computation[removed], 1–12 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language Add to Reading List Source URL: www.ginac.de Language: English - Date: 2001-12-15 13:24:28 Meromorphic functions Functions and mappings Cross-platform software GiNaC Polynomial Computer algebra system Maple Function Rational function Software Mathematical analysis Mathematics

UPDATE